home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Collection of Tools & Utilities
/
Collection of Tools and Utilities.iso
/
tex
/
sauter.zip
/
MAKE_MF.BTM
< prev
next >
Wrap
Text File
|
1990-11-19
|
2KB
|
73 lines
@echo off
: 4Dos Batch file--
: Make mf source files.
: Adjust "standard" sizes (11.14.17.20.25.30) to nearest power of 1.2
: to match magnified 10-pt font.
set OUTDIR=`c:\l\mf\sauter\mf`
set SAUTER=`c:\l\mf\sauter`
iff %# LT 2 then
echo "Usage: $0 family_name size [size ...]."
exit
endiff
: Remember the family name (e.g., ``cmr'').
set family = %1
shift
iff not isdir %OUTDIR then
iff exist %OUTDIR then
echo File "%OUTDIR" exists and is not a directory.
echo You must move this file or change the output directory.
quit
else
md %OUTDIR
endiff
endiff
:do_sizes
if "%1" EQ "" goto done
set size = %1
set name_size = %@eval[%size]
set mf_name = %family%%name_size%.mf
echo %family%%name_size >> %SAUTER\l-new
: The Computer Modern point sizes are based on the 1.2 ratio.
: rem Delete this switch statement if you prefer to have point
: sizes that are exactly what you type.
if %size EQ 11 set size = 10.954451
if %size EQ 14 set size = 14.4
if %size EQ 17 set size = 17.28
if %size EQ 20 set size = 20.736
if %size EQ 25 set size = 24.8832
if %size EQ 30 set size = 29.8685984
: Make sure it doesn't exist already.
iff exist %OUTDIR\%mf_name then
echo "%mf_name" exists already, so I won't change it.
else
echo `% `%size-point %family. > %OUTDIR\%mf_name
echo `design_size := `%size; >> %OUTDIR\%mf_name
echo `input b-`%family%`;` >> %OUTDIR\%mf_name
endiff
shift
goto do_sizes
: Come back to where we were.
:done
quit